Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
201	Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Software Object-oriented programming languages VisualWorks Class Smalltalk Metaclass Object-oriented programming Widget Symbol Graphical user interface
202	Microsoft Word - paper31.docx Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2013-10-23 08:30:45 Graph theory Mathematics Planar graphs 3D computer graphics Discrete mathematics Mesh generation Polygon mesh Planarity Linear programming Solid modeling Quadratic programming Mesh analysis
203	Charles Marsh \| Software Engineer 4634 Frist Campus Center – Princeton, NJ – USA B • Í www.crmarsh.com • crm416 • crm416 Add to Reading List Source URL: www.crmarsh.com Language: English - Date: 2016-06-12 18:28:24 Software engineering Computer programming Computing Scripting languages Ajax Joyent Node.js JavaScript Python React
204	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
205	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
206	Administrivia  Design of Parallel and High-Performance Computing Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Concurrency control Computing Computer programming Software engineering Lock Readerswriter lock Non-blocking algorithm Mutual exclusion Spinlock Monitor Fetch-and-add File locking
207	Nix Package Manager Guide i Nix Package Manager Guide Add to Reading List Source URL: nixos.org Language: English - Date: 2016-02-11 04:12:58 Software System software Computer architecture NixOS Functional programming Nix package manager Nix Package manager Deb
208	User Defined Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Writing Java UDFs....................... Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Subroutines Control flow Cross-platform software User-defined function Eval Scala Java
209	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology

UPDATE